Total Books: 1 - 1 /1
Logic Based Program Synthesis and Transformation (vol. # 3901)
This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program ...
Lee mas
Total Books: 1 - 1 /1
